AADL_SOURCES = $(srcdir)/satellite_system.aadl
AADL_ROOT    = obmu.impl

OTHER_FILES = $(srcdir)/satellite_software.aadl	\
	$(srcdir)/satellite_hardware.aadl

CLEANDIRS =
CLEANFILES =

include $(srcdir)/../Makefile.common

AVAILABLE_TARGETS= parse-aadl cheddar mast stats
